Models of hippocampally dependent navigation using the temporal difference learning rule